Significance logics.
نویسندگان
چکیده
منابع مشابه
EQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملJustification logics and hybrid logics
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine these two ideas into a single system, and in this paper we make a start. We present a hybrid/justification version of the modal logic T. We give a semantics, a proof theory, and prove a completeness theorem. In addition, w...
متن کاملTitle: Description Logics Description Logics
KR: knowledge representation. DLs: Description Logics; a family of logic-based KR languages for representing knowledge through assertions about concepts, individuals and relationships among them. (Logic-based) Semantics: a way to interpret any statement in a language; logic-based semantics interprets such a statement using operations in mathematical logic. Interpretation: a mathematical structu...
متن کاملPreservationist Logics and Nonmonotonic Logics
Any number of distinct logical consequence-relations can be represented in preservationist terms—as preserving one or more properties of sets of sentences—providing a general and abstract perspective from which to consider theories of consequence. One simple way of defining such consequence-relations, however, yields ones that are always strictly monotonic. At the same time, many nonmonotonic l...
متن کاملeq-logics with delta connective
in this paper we continue development of formal theory of a special class offuzzy logics, called eq-logics. unlike fuzzy logics being extensions of themtl-logic in which the basic connective is implication, the basic connective ineq-logics is equivalence. therefore, a new algebra of truth values calledeq-algebra was developed. this is a lower semilattice with top element endowed with two binary...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1976
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093887521